1. Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
پدیدآورنده : Patrice Godefroid )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
3639
2. Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
پدیدآورنده : Godefroid, Patrice
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1032